Dc Calculus
نویسنده
چکیده
In this paper, we extend the DC Calculus introduced by Perelman on finite dimensional Alexandrov spaces with curvature bounded below. Among other things, our results allow us to define the Hessian and the Laplacian of DC functions (including distance functions as a particular instance) as a measure-valued tensor and a Radon measure respectively. We show that these objects share various properties with their analogues on smooth Riemannian manifolds.
منابع مشابه
SLIDING MODE CONTROL BASED ON FRACTIONAL ORDER CALCULUS FOR DC-DC CONVERTERS
The aim of this paper is to design a Fractional Order Sliding Mode Controllers (FOSMC)for a class of DC-DC converters such as boost and buck converters. Firstly, the control lawis designed with respect to the properties of fractional calculus, the design yields an equiv-alent control term with an addition of discontinuous (attractive) control law. Secondly, themathematical proof of the stabilit...
متن کاملTowards a Duration Calculus Proof Assistant in PVS
The Duration Calculus (DC) is an interval temporal logic for reasoning about real-time systems. This paper describes a tool for constructing DC speciications and checking DC proofs. The proof assistant is implemented by encoding the semantics of DC within the higher-order logic of a general-purpose speciication and veriication environment called PVS. We develop a Gentzen style sequent proof sys...
متن کاملFractional Modeling and Analysis of Buck Converter in CCM Mode Peration
In this paper fractional order averaged model for DC/DC Buck converter in continues condition mode (CCM) operation is established. DC/DC Buck converter is one of the main components in the wind turbine system which is used in this research. Due to some practical restriction there weren’t exist input voltage and duty cycle of converter therefor whole of the wind system was simulated in Matlab/Si...
متن کاملA Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus
We present a complete axiomatisation of the operator of projection onto state in the Duration Calculus (DC ) relative to validity in DC without extending constructs. Projection onto state was introduced and studied extensively in our earlier works. We first establish the completeness of a system of axioms and proof rules for the operator relative to validity in the extension of DC by neighbourh...
متن کاملCompleteness and Decidability of a Fragment of Duration Calculus with Iteration
Duration Calculus with Iteration (DC∗) has been used as an interface between original Duration Calculus and Timed Automata, but has not been studied rigorously. In this paper, we study a subset of DC∗ formulas consisting of so-called simple ones which corresponds precisely with the class of Timed Automata. We give a complete proof system and the decidability results for the subset.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015